#ifndef __EKOS_KERNEL_S_H__
#define __EKOS_KERNEL_S_H__

#include "inc/pic.h"
#include <syscall.h>

#endif
